7 Witnessing theorems (BAPLaCT)